3221. Verification of infinite-state systems with applications to security /
Author: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
Classification :
Q295
.
N38
2005eb
3222. Verification techniques for system-level design /
Author: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
F95
2008eb
3223. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
3224. Video Coding :
Author: edited by Luis Torres, Murat Kunt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer vision.
Classification :
TK6680
.
5
E358
1996
3225. Video coding standards :AVS China, H.264/MPEG-4 PART 10, HEVC, VP6, DIRAC and VC-1
Author: / K.R. Rao, Do Nyeon Kim, Jae Jeong Hwang
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Digital video -- Standards,Physics,Physics, general,Communications Engineering, Networks,Coding and Information Theory,Computer Science, general
Classification :
TK6680
.
5
3226. Virtual Environments '99
Author: proceedings of the Eurographics Workshop in Vienna, Austria, May 31 - June 1, 1999 ; (eds) M. Gervautz ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: RÉALITÉ VIRTUELLE + CYBERESPACE (SIMULATION PAR ORDINATEUR),VIRTUAL ENVIRONMENTS (COMPUTER SIMULATION),VIRTUAL ENVIRONMENTS (COMPUTERSIMULATION)
Classification :
QA76
.
9
.
H85
P763
1999
3227. Virtual and adaptive environments :
Author: edited by Lawrence J. Hettinger, Michael Haas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction.,Virtual computer systems.,COMPUTERS-- Operating Systems-- Virtualization.,COMPUTERS-- System Administration-- General.,COMPUTERS-- Utilities.,Human-computer interaction.,Virtual computer systems.
Classification :
QA76
.
9
.
V5
V56
2003eb
3228. Virtual reality and virtual environments in 10 lectures /
Author: Stanislav Stanković, Helsinki, Finland.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Virtual reality.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Virtual reality.
Classification :
QA76
.
9
.
H85
S728
2016
3229. Virtual taste and smell technologies for multisensory internet and virtual reality /
Author: Adrian David Cheok, Kasun Karunanayaka.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human-computer interaction.,Olfactory sensors-- Technological innovations.,Taste.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human-computer interaction.,Taste.
Classification :
QA76
.
9
.
H85
3230. Virtualization with VMware ESX Server /
Author: Al Muller [and others] ; foreword by Ralph Troupe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: VMware.,VMware.,VMware.,Operating systems (Computers),Virtual computer systems.,COMPUTERS-- Operating Systems-- Virtualization.,COMPUTERS-- System Administration-- General.,COMPUTERS-- Utilities.,Operating systems (Computers),Operating systems (Computers),Virtual computer systems.,Virtual computer systems.
Classification :
QA76
.
76
.
O63
V455
2005eb
3231. Vision Chips
Author: by Alireza Moini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Computer science.,Computer vision.
3232. Visual Basic . NET :
Author: Nell Dale, Michael McMillan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Microsoft .NET Framework.,Microsoft .NET Framework.,BASIC (Computer program language),Computer-assisted instruction.,Visual Basic (Computer program language),BASIC (Computer program language),Computer-assisted instruction.,REFERENCE-- General.,Visual Basic (Computer program language)
Classification :
QA76
.
73
.
B3
D35
2003eb
3233. Visual Basic for Testers
Author: by Mary Romero Sweeney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
3234. Visual Computing :
Author: by Markus Gro€.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer vision.
3235. Visual and text sentiment analysis through hierarchical deep learning networks /
Author: Arindam Chaudhuri.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational linguistics.,Data mining.,Natural language processing (Computer science),Public opinion-- Data processing.,Computational linguistics.,COMPUTERS-- Database Management-- General.,COMPUTERS-- General.,Data mining.,Natural language processing (Computer science),Public opinion-- Data processing.
Classification :
QA76
.
9
.
N38
3236. Visual content indexing and retrieval with psycho-visual models
Author: Benois-Pineau, Jenny
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Pattern recognition systems,، Content-based image retrieval,، COMPUTERS / General
Classification :
TA
1637
.
V65
2017
3237. Visual information and information systems :
Author: Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Informatiesystemen.,Information display systems -- Congresses.,Information display systems.
3238. Visualising Facebook :
Author: Daniel Miller and Jolynna Sinanan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Facebook (Electronic resource),Facebook (Electronic resource),Image (Philosophy),Online social networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Image (Philosophy),Online social networks.
Classification :
HM743
.
F33
M55
2017eb
3239. Visualization and verbalization of data /
Author: edited by Jörg Blasius (University of Bonn, Germany), Michael Greenacre (Universitat Pompeu Fabra, Barcelona, Spain).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Correspondence analysis (Statistics),Information visualization.,Multiple comparisons (Statistics),Correspondence analysis (Statistics),Datenanalyse.,Information visualization.,Informationsgrafik.,MATHEMATICS / Probability & Statistics / General.,Multiple comparisons (Statistics),Visualisierung.
3240. Visualization in Scientific Computing
Author: edited by Michel Grave, Yvon Lous, W. Terry Hewitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
T385
.
E358
1994
